Introduction
<#252#>
DVITOPS
<#252#> translates a dvi file output of T
E
X into <#253#>P
OST
S
CRIPT
<#253#>. It works with both bitmap fonts and PostScript fonts. When used with the latter it produces device-independent output.